#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int main(int argc, int *argv[])
{
	printf("Hello");	
	
	_exit(12); // No output
	
	//return 12;
	//exit(12);
}
